A Theory of Strongly Continuous Semigroups in Terms of Lie Generators

Let X denote a complete separable metric space, and let C(X) denote the linear space of all bounded continuous real-valued functions on X. The Lie generator of a strongly continuous semigroup T of continuous transformations in X is the linear operator in C(X) consisting of all ordered pairs (f; g) such that f; g 2 C(X), and for each x 2 X, g(x) is the derivative at 0 of f(T()x). We completely characterize such Lie generators and establish the canonical exponential formula for the original semigroup in terms of powers of resolvents of its Lie generator. The only topological notions needed in the characterization are two notions of sequential convergence, pointwise and strict. A sequence in C(X) converges strictly if the sequence is uniformly bounded in the supremum norm and converges uniformly on compact subsets of X. Our suucient conditions do not involve powers of the resolvent higher than the rst power.